\begin{tabbing}
ESAtomAxiom\=\{i:l\}\+
\\[0ex]($T$; $V$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\forall$$i$:Id, $x$:Id. AtomFree(Type$_{\mbox{\scriptsize i}}$;$T$($i$,$x$))) \& ($\forall$$i$:Id, $k$:Knd. AtomFree(Type$_{\mbox{\scriptsize i}}$;$V$($i$,$k$)))
\end{tabbing}